(set-logic QF_AUFBVLIA)
(set-info :status unsat)
(declare-fun a (Bool) Bool)
(declare-fun b (Bool) Bool)
(declare-fun c (Bool) Bool)
(declare-fun d () Bool)
(declare-fun e () Bool)
(declare-fun f () Bool)
(assert (distinct (a d) (a e)))
(assert (distinct (b e) (b f)))
(assert (distinct (c f) (c d)))
(check-sat)
